Development of objectoriented and formal multi-view specifications
Identifieur interne : 005E50 ( Main/Exploration ); précédent : 005E49; suivant : 005E51Development of objectoriented and formal multi-view specifications
Auteurs : Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine SouquièresSource :
English descriptors
- KwdEn :
Abstract
This paper discusses the simultaneous use of object-oriented and formal notations to develop software specification. We propose the notions of multi-view specifications and of development operators to overcome one of the major difficulties : maintaining consistency between views during development. Operators enable to capture developments by suc- cessive approximations. We present different operators, one being fully described. The use of the framework is illustrated by some steps of the development of the generalized railroad crossing case study.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 004383
- to stream Crin, to step Curation: 004383
- to stream Crin, to step Checkpoint: 000298
- to stream Main, to step Merge: 006073
- to stream Main, to step Curation: 005E50
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="368">Development of objectoriented and formal multi-view specifications</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:okalas_ossami05b</idno>
<date when="2005" year="2005">2005</date>
<idno type="wicri:Area/Crin/Corpus">004383</idno>
<idno type="wicri:Area/Crin/Curation">004383</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">004383</idno>
<idno type="wicri:Area/Crin/Checkpoint">000298</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000298</idno>
<idno type="wicri:Area/Main/Merge">006073</idno>
<idno type="wicri:Area/Main/Curation">005E50</idno>
<idno type="wicri:Area/Main/Exploration">005E50</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Development of objectoriented and formal multi-view specifications</title>
<author><name sortKey="Okalas Ossami, Dieu Donne" sort="Okalas Ossami, Dieu Donne" uniqKey="Okalas Ossami D" first="Dieu Donné" last="Okalas Ossami">Dieu Donné Okalas Ossami</name>
</author>
<author><name sortKey="Jacquot, Jean Pierre" sort="Jacquot, Jean Pierre" uniqKey="Jacquot J" first="Jean-Pierre" last="Jacquot">Jean-Pierre Jacquot</name>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>B</term>
<term>Development</term>
<term>UML</term>
<term>consistency</term>
<term>multi-view</term>
<term>operator</term>
<term>specification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="848">This paper discusses the simultaneous use of object-oriented and formal notations to develop software specification. We propose the notions of multi-view specifications and of development operators to overcome one of the major difficulties : maintaining consistency between views during development. Operators enable to capture developments by suc- cessive approximations. We present different operators, one being fully described. The use of the framework is illustrated by some steps of the development of the generalized railroad crossing case study.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Jacquot, Jean Pierre" sort="Jacquot, Jean Pierre" uniqKey="Jacquot J" first="Jean-Pierre" last="Jacquot">Jean-Pierre Jacquot</name>
<name sortKey="Okalas Ossami, Dieu Donne" sort="Okalas Ossami, Dieu Donne" uniqKey="Okalas Ossami D" first="Dieu Donné" last="Okalas Ossami">Dieu Donné Okalas Ossami</name>
<name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 005E50 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 005E50 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:okalas_ossami05b |texte= Development of objectoriented and formal multi-view specifications }}
This area was generated with Dilib version V0.6.33. |